(∞, r)-groupoid